C~3I仿真演示系统的分析与设计

本文以现代战争的需要为出发点,详细分析了C~3I系统的特点和C~3I系统仿真技术及系统试验床技术,探讨了交互分布式的C~3I仿真系统的理论,并在这些理论和技术的基础上,提出了一个C~3I系统的仿真系统的总体方案,并详细地论述了仿真系统的结构,运行的软件、硬件环境和应用软件的设置,而且基于“面向对象”的观点,综合Petri网建模技术,探讨了仿真系统建模的实现过程。     

卷积的快速定限求解

本文提出了卷积的快速定限表,分析了该表的特点,叙述了该表的拟订方法和用该表求解卷积的步骤。用该表求解卷积比之用历来的折迭图解定限方法要简单省事而快捷得多。文中还在该表的基础上提出了一种在卷积运算中避免容易产生的疏忽出错的有效措施。     

当好武装工作第一责任人——记广东省广州市荔湾区区委书记刘平

广东省广州市荔湾区区委书记、区人武部党委第一书记刘平任职以来,心系国防,热爱武装,倾注真情建国防。刘平一直把支持、关心国防和军队建设当成自己的重要职责。她常说:"作为一名党的领导干部,不抓武备,不足以谋事。"几年来,她坚持国防建设"五纳入",亲力亲为,抓好工作落实。积极参与过"军事日"活动,亲自组织军事活动竞赛,每年都评选出一批"军事     

核心体系结构数据模型的设计思想

首先介绍了CADM的基本概念,包括CADM的含义、发展历史、数据来源及其重要的作用.重点分析了CADM四个基本的设计思想,这些设计思想有利于数据的重用和稳定,对我军的数据库工程建设具有重大的指导意义.同时也分析了CADM数据模型的设计缺点,限于篇幅,只是简单地提出了一些改进意见.     

基于行为约束的军事信息服务描述及过滤方法

针对传统服务描述模型无法对军事信息服务中服务的使用权限、适用范围等非功能约束信息进行全面、标准化描述的问题,扩展已有web服务通用描述模型,提出了一种基于行为约束的军事信息服务描述模型,以全面支持军事信息服务功能、行为约束和服务质量的描述.在此基础上采用分层匹配思想,在服务发现过程中引入相似度和匹配算法,对行为约束的相...     

小行星探测多脉冲交会轨道多目标优化

现有的小行星探测交会轨道研究多集中于二脉冲最优燃料研究,本文则研究了小行星探测多脉冲交会轨道多目标优化问题.基于Lambert交会算法建立了包含地球逃逸轨道和日心转移轨道的多脉冲交会轨道优化模型,以燃料消耗最小和转移时间最短为两个优化目标函数.采用一类典型的多目标进化算法——NSGA -Ⅱ用于Pareto最优解的确定....     

一种对地观测卫星应用任务描述模型

对地观测卫星(EOS)的应用任务建模是任务规划与调度的重要组成部分.从对地观测卫星系统的组成、应用任务特点以及建模基本要素等3个方面,对应用任务进行了详细的分析,其中特点包括任务周期性、严格的时间限制性、实体属性的复杂性以及任务的突发性等,建模基本要素主要包括约束条件和活动.在此基础上,使用规划领域定义语言(PDDL)...     

基于信息模型的C4ISR系统需求集成方法

多视图需求工程中"分而治之"的需求开发方式,必然会产生"需要集成"和"如何集成"等问题.研究了基于多视图的C<'4>ISR系统需求框架及其视图产品,并在此基础上给出了C<'4>ISR系统需求集成的概念与范围.通过建立需求信息模型,从语法、语义和语用三个层次研究构建一个需求集成框架.通过需求产品之间的关联关系,分析不同视图产品在集成中存在的问题,并给出了需求集成框架中不同需求产品的集成过程,为C<'4>ISR系统需求集成问题的解决提供一个可供参考的方法.     

事件驱动过程链在军事信息系统建模中的应用

要实现军事信息系统的合理设计必须进行有效的系统建模.通过分析事件驱动的过程链(EPC)和Petri网的特点,提出两者相结合的建模方法,着重研究了基于EPC的系统过程描述方法,在EPC模型中引入组织描述和数据流描述,并分析了控制流、数据流相结合的结构合理性验证方法.设计实现了系统建模工具,并通过实例介绍建模过程,验证方法...     

向时间自动机转换的军事电子信息系统性质验证

日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果.